2025-09-25 Zero-Knowledge and Friends Pt2
Required Properties
Soundness
Prover cannot prove something which is not true.
Completeness
Prover can prove things which are true.
Zero-Knowledge
The prover’s operations do not expose the witness to an adversarial verifier.
Simulation-based - Transcript can be simulated without .
Schnorr Identification Scheme
An identification scheme is the essence of a signature scheme, just means someone can prove they are who they say they are. 
